Free Theory of Computation text
reddit.com·1d·
Discuss: r/compsci
🧮Programming Language Theory
An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·2d
🧭SMT Solvers
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
quantamagazine.org·47m·
Discuss: Hacker News
⚖️Logic Programming
how to decide on the sequence of computable numbers
academia.edu·1d·
Discuss: Hacker News, r/programming
🧮Programming Language Theory
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·1d·
Discuss: Hacker News, r/programming
🧠Memory Management
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·10h
🧭SMT Solvers
Can AI generate truly novel algorithms?
research.ibm.com·4d
🧭SMT Solvers
Micropycelium - prototype routable mesh network for ESP32
hackster.io·5h
🤝Protocol Design
How Far Can You Run Before Sundown?
thefiddler.substack.com·2h·
Discuss: Substack
⚖Algorithmic Game Theory
Reproducing prospect theory with 'differentiable decision theories'
science.org·18h·
Discuss: Hacker News
🎲Probabilistic Programming
"I Won't Use Algorithms in My Job"
github.com·42m·
Discuss: DEV
🔧Compiler Design
New ByteDance Seed reasoning RL paper, relating RL to self-supervised learning.
threadreaderapp.com·1h
🧩Theorem Proving
AI-Driven Cognitive Prosthesis Calibration via Adaptive Hyperparameter Optimization
dev.to·6h·
Discuss: DEV
🎲Probabilistic Programming
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·3d·
Discuss: Hacker News, Hacker News
🧫Cellular Automata
Securing private data at scale with differentially private partition selection
research.google·1d
🔐Cryptography
StateSort — Fastest Comparison Sort?
pub.towardsai.net·18h
🧠Memory Management
UnderColor’s spiral challenge from 1984 – part 3
subethasoftware.com·20h
💾Retrocomputing
Optimizing our way through Metroid
antithesis.com·2h·
Discuss: Hacker News
🧭SMT Solvers
Time-Optimal Directed q-Analysis
arxiv.org·10h
🔐Cryptography
Optimizing multiprecision LLL in FLINT
fredrikj.net·1d
🧭SMT Solvers